DeMillo, R.A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

NSF workshop on a software research program for the 21 st century

Basili, Victor R., Lawrie, Duncan, Leveson, Nancy, Lynch, Nancy, Weiser, Mark, Wing, Jeannette, Belady, Laszlo, Boehm, Barry, Brooks, Frederick, Browne, James, DeMillo, Richard, Feldman, Stuart I., Gr

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 1.23 MB

english, 1999

2

Studies in Computer Science || Polynomial Interpolation in Several Variables

Rice, John, DeMillo, Richard A.

Year:

1994

Language:

english

File:

PDF, 1.68 MB

english, 1994

3

Editors' foreword

Richard Demillo, Ronald Rivest, E.K. Blum

Journal:

Journal of Computer and System Sciences

Year:

1983

File:

PDF, 29 KB

1983

4

Editors' foreword

Richard A. DeMillo, Edward K. Blum

Journal:

Journal of Computer and System Sciences

Year:

1986

Language:

english

File:

PDF, 36 KB

english, 1986

5

A constructive generalization of the borel-cantelli lemma with application to the complexity of infinite strings

Richard A. DeMillo, Richard J. Lipton

Journal:

Theory of Computing Systems

Year:

1979-1980

Language:

english

File:

PDF, 441 KB

english, 1979-1980

6

On the Importance of Eliminating Errors in Cryptographic Computations

Dan Boneh, Richard A. DeMillo, Richard J. Lipton

Journal:

Journal of Cryptology

Year:

2001

Language:

english

File:

PDF, 117 KB

english, 2001

7

Debugging with dynamic slicing and backtracking

Hiralal Agrawal, Richard A. Demillo, Eugene H. Spafford

Journal:

Software: Practice and Experience

Year:

1993

Language:

english

File:

PDF, 1.85 MB

english, 1993

8

A probabilistic remark on algebraic program testing

Richard A. Demillo, Richard J. Lipton

Journal:

Information Processing Letters

Year:

1978

Language:

english

File:

PDF, 308 KB

english, 1978

9

Toward Unsymmetrical CADA Analogs as Novel Down-modulators of the CD4 Receptor

Violeta Demillo, Sreenivasa Anugu, Kurt Vermeire, Dominique Schols, Thomas Bell

Journal:

Antiviral Research

Year:

2009

Language:

english

File:

PDF, 291 KB

english, 2009

10

Unsymmetrical CADA Analogs as Novel Down-modulators of the CD4 Receptor

Violeta Demillo, Kurt Vermeire, Dominique Schols, Thomas Bell

Journal:

Antiviral Research

Year:

2010

Language:

english

File:

PDF, 100 KB

english, 2010

11

Effect of Molecular Symmetry on Potency in Novel Down-Modulators of the CD4 Receptor

Thomas W. Bell, Violeta G. Demillo, Florian Goulinet-Mateo, Rameez Ali, Nicholas C. Pflug, Chiraphorn Khan, Kurt Vermeire, Dominique Schols

Journal:

Antiviral Research

Year:

2011

Language:

english

File:

PDF, 165 KB

english, 2011

12

On the Computational Complexity of a Generalized Scheduling Problem

Vairavan, K., Demillo, R.A.

Journal:

IEEE Transactions on Computers

Year:

1976

Language:

english

File:

PDF, 3.36 MB

english, 1976

13

Some critical remarks on a hierarchy of fault-detecting abilities of test methods [and reply]

DeMillo, R.A., Mathur, A.P., Wong, W.E., Frankl, P.G., Weyuker, E.J.

Journal:

IEEE Transactions on Software Engineering

Year:

1995

Language:

english

File:

PDF, 676 KB

english, 1995

14

Defining software by continuous, smooth functions

DeMillo, R.A., Lipton, R.J.

Journal:

IEEE Transactions on Software Engineering

Year:

1991

Language:

english

File:

PDF, 224 KB

english, 1991

15

Theory in the Computer Science and Engineering Curriculum: Why, What, When, and Where

Barnes, B.H., Davida, G.I., DeMillo, R.A., Landweber, L., Stone, H.

Journal:

Year:

1977

Language:

english

File:

PDF, 3.22 MB

english, 1977

16

Hints on Test Data Selection: Help for the Practicing Programmer

DeMillo, R.A., Lipton, R.J., Sayward, F.G.

Journal:

Year:

1978

Language:

english

File:

PDF, 5.97 MB

english, 1978

17

Protocols for Data Security

DeMillo, R., Merritt, M.

Journal:

Year:

1983

Language:

english

File:

PDF, 9.92 MB

english, 1983

18

Even Data Bases That Lie Can Be Compromised

Demillo, R.A., Dobkin, D., Lipton, R.J.

Journal:

IEEE Transactions on Software Engineering

Year:

1978

Language:

english

File:

PDF, 1.73 MB

english, 1978

19

Unsymmetrical Cyclotriazadisulfonamide (CADA) Compounds as Human CD4 Receptor Down-Modulating Agents

Demillo, Violeta G., Goulinet-Mateo, Florian, Kim, Jessica, Schols, Dominique, Vermeire, Kurt, Bell, Thomas W.

Journal:

Journal of Medicinal Chemistry

Year:

2011

Language:

english

File:

PDF, 1.43 MB

english, 2011

20

Experimental results from an automatic test case generator

DeMillo, Richard A., Offutt, A. Jefferson

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1993

Language:

english

File:

PDF, 1.33 MB

english, 1993

21

[IEEE Comput. Soc. Press [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis - Banff, Alta., Canada (19-21 July 1988)] [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis - An extended overview of the Mothra software testing environment

DeMillo, R.A., Guindi, D.S., McCracken, W.M., Offutt, A.J., King, K.N.

Year:

1988

Language:

english

File:

PDF, 1.06 MB

english, 1988

22

[ACM Press the 1996 international symposium - San Diego, California, United States (1996.01.08-1996.01.10)] Proceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96 - Critical slicing for software fault localization

DeMillo, Richard A., Pan, Hsin, Spafford, Eugene H.

Year:

1996

Language:

english

File:

PDF, 1.26 MB

english, 1996

23

[ACM Press the twelfth annual ACM symposium - Los Angeles, California, United States (1980.04.28-1980.04.30)] Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 - The consistency of ?P = NP? and related problems with fragments of number theory

DeMillo, Richard A., Lipton, Richard J.

Year:

1980

Language:

english

File:

PDF, 867 KB

english, 1980

24

The Evolving University: Disruptive Change and Institutional Innovation

Baker, Paul M.A., Bujak, Keith R., DeMillo, Rich

Journal:

Procedia Computer Science

Year:

2012

Language:

english

File:

PDF, 535 KB

english, 2012

25

[IEEE Comput. Soc. Press Fifteenth Annual International Computer Software & Applications Conference - Tokyo, Japan (11-13 Sept. 1991)] [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference - Compiler-integrated program mutation

DeMillo, R.A., Krauser, E.W., Mathur, A.P.

Year:

1991

Language:

english

File:

PDF, 474 KB

english, 1991

26

[IEEE Comput. Soc. Press [1989] Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track - Kailua-Kona, HI, USA (3-6 Jan. 1989)] [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track - The Mothra tool set (software testing)

Choi, B.J., DeMillo, R.A., Krauser, E.W., Martin, R.J., Mathur, A.P., Offutt, A.J., Pan, H., Spafford, E.H.

Year:

1989

Language:

english

File:

PDF, 1.03 MB

english, 1989

27

[IEEE Comput. Soc. Press Eleventh International Conference on Data Engineering - Taipei, Taiwan (6-10 March 1995)] Proceedings of the Eleventh International Conference on Data Engineering - An international Masters in Software Engineering: experience and prospects

Apostolico, A., Bilardi, G., Bombi, F., DeMillo, R.

Year:

1995

Language:

english

File:

PDF, 186 KB

english, 1995

28

[IEEE Third Int'l Workshop on Integrating Error Models with Fault Injection - Annapolis, MD (April 25-26, 1994)] Third Int'l Workshop on Integrating Error Models with Fault Injection - A Two Dimensional Scheme To Evaluate The Adequacy Of Fault Tolerance Testing

DeMillo, R.A., Tsanchi Li,, Mathur, A.P.

Year:

1994

Language:

english

File:

PDF, 181 KB

english, 1994

29

[IEEE Comput. Soc. Press [1989] Thirteenth Annual International Computer Software & Applications Conference - Orlando, FL, USA (20-22 Sept. 1989)] [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference - Software testing for critical applications: a position paper

Year:

1989

Language:

english

File:

PDF, 115 KB

english, 1989

30

Fabrication of MnFe2O4–CuInS2/ZnS magnetofluorescent nanocomposites and their characterization

Demillo, Violeta G., Liao, Mingxia, Zhu, Xiaoshan, Redelman, Doug, Publicover, Nelson G., Hunter, Kenneth W.

Journal:

Colloids and Surfaces A: Physicochemical and Engineering Aspects

Year:

2015

Language:

english

File:

PDF, 2.31 MB

english, 2015

31

Improving potencies and properties of CD4 down-modulating CADA analogs

Bell, Thomas W, Demillo, Violeta G, Schols, Dominique, Vermeire, Kurt

Journal:

Expert Opinion on Drug Discovery

Year:

2012

Language:

english

File:

PDF, 524 KB

english, 2012

32

[IEEE Comput. Soc. Press 13th International Conference on Software Engineering - Austin, TX, USA (13-16 May 1991)] [1991 Proceedings] 13th International Conference on Software Engineering - Progress toward automated software testing

Year:

1991

Language:

english

File:

PDF, 339 KB

english, 1991

33

Facilitated preparation of bioconjugatable zwitterionic quantum dots using dual-lipid encapsulation

Shrake, Robert, Demillo, Violeta G., Ahmadiantehrani, Mojtaba, Zhu, Xiaoshan, Publicover, Nelson G., Hunter, Kenneth W.

Journal:

Journal of Colloid and Interface Science

Year:

2015

Language:

english

File:

PDF, 1.91 MB

english, 2015

34

[IEEE 11th International Conference on Software Engineering - Pittsburgh, PA, USA (15-18 May 1989)] 11th International Conference on Software Engineering - Test Adequacy And Program Mutation

Year:

1989

Language:

english

File:

PDF, 258 KB

english, 1989

35

Commemorative Issue Celebrating the 50th Anniversary of "A Sand County Almanac'' and the Legacy of Aldo Leopold || Is the Non-Thesis Graduate Degree an Appropriate Complement to the Education of Tomorrow's Wildlife Professional?

Gina E. DeMillo, Robert J. Warren and Johnny P. Stowe, Jr.

Journal:

Wildlife Society Bulletin

Year:

1998

Language:

english

File:

PDF, 1.63 MB

english, 1998

36

Preserving average proximity in arrays

DeMillo, Richard A., Eisenstat, Stanley C., Lipton, Richard J.

Journal:

Communications of the ACM

Year:

1978

Language:

english

File:

PDF, 1.95 MB

english, 1978

37

Keeping technology promises

DeMillo, Richard A.

Journal:

Communications of the ACM

Year:

2012

Language:

english

File:

PDF, 1.26 MB

english, 2012

38

Space and Time Hierarchies for Classes of Control Structures and Data Structures

Lipton, R. J., Eisenstat, S. C., DeMillo, R. A.

Journal:

Journal of the ACM

Year:

1976

Language:

english

File:

PDF, 735 KB

english, 1976

39

Space-Time Trade-Offs in Structured Programming: An Improved Combinatorial Embedding Theorem

DeMillo, Richard A., Eisenstat, Stanley C., Lipton, Richard J.

Journal:

Journal of the ACM

Year:

1980

Language:

english

File:

PDF, 251 KB

english, 1980

40

[ACM Press the 11th international conference - Pittsburgh, Pennsylvania, United States (1989..-..)] Proceedings of the 11th international conference on Software engineering - ICSE '89 - Completely validated software: test adequacy and program mutation (panel session)

Year:

1989

Language:

english

File:

PDF, 264 KB

english, 1989

41

[ACM Press seventh annual ACM symposium - Albuquerque, New Mexico, United States (1975.05.05-1975.05.07)] Proceedings of seventh annual ACM symposium on Theory of computing - STOC '75 - The complexity of control structures and data structures

Lipton, R. J., Eisenstat, S. C., DeMillo, R. A.

Year:

1975

Language:

english

File:

PDF, 518 KB

english, 1975

42

A Study of Schedules as Models of Synchronous Parallel Computation

DeMillo, R. A., Vairavan, K., Sycara-Cyranski, E.

Journal:

Journal of the ACM

Year:

1977

Language:

english

File:

PDF, 1.31 MB

english, 1977

43

On a political pamphlet from the middle ages

Dijkstra, Edsger W., DeMillo, R. A., Lipton, R. J., Perlis, A J.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1978

Language:

english

File:

PDF, 265 KB

english, 1978

44

Response from R. A. DeMillo, R. J. Lipton, A. J. Perlis

DeMillo, Richard A., Lipton, Richard J., Perlis, Alan J.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1978

Language:

english

File:

PDF, 175 KB

english, 1978

45

[ACM Press the 8th ACM SIGSOFT international symposium - San Diego, California, United States (2000.11.06-2000.11.10)] Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 - Software development for next generation communication networks

DeMillo, Richard A.

Year:

2000

Language:

english

File:

PDF, 45 KB

english, 2000

46

Guest Editor's Introduction

DeMillo, Richard A.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1983

Language:

english

File:

PDF, 73 KB

english, 1983

47

[ACM Press the conference - Charleston, West Virginia, United States (1988..-..)] Proceedings of the conference on TRI-Ada '88 - TRI-Ada '88 - An integrated software environment for reuse

DeMillo, R., Du, W., Stansifer, R.

Year:

1988

Language:

english

File:

PDF, 378 KB

english, 1988

48

[ACM Press the fourteenth annual ACM symposium - San Francisco, California, United States (1982.05.05-1982.05.07)] Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82 - Cryptographic protocols

DeMillo, Richard A., Lynch, Nancy A., Merritt, Michael J.

Year:

1982

Language:

english

File:

PDF, 1.27 MB

english, 1982

49

[ACM Press the eleventh annual ACM symposium - Atlanta, Georgia, United States (1979.04.30-1979.05.02)] Proceedings of the eleventh annual ACM symposium on Theory of computing - STOC '79 - Some connections between mathematical logic and complexity theory

DeMillo, Richard A., Lipton, Richard J.

Year:

1979

Language:

english

File:

PDF, 534 KB

english, 1979

50

[ACM Press the symposium - Victoria, British Columbia, Canada (1991.10.08-1991.10.10)] Proceedings of the symposium on Testing, analysis, and verification - TAV4 - Dynamic slicing in the presence of unconstrained pointers

Agrawal, Hiralal, DeMillo, Richard A., Spafford, Eugene H.

Year:

1991

Language:

english

File:

PDF, 1.02 MB

english, 1991